81. AlRisala Fi usus al -Fiqh: treatise on the foundations of Islamic Jurisprdence
پدیدآورنده : / Al - Imam Muhammad ibn-Idris al- shafii; translated with and introduclion, notes, and appendices by Majid Khadduri
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فقه شافعی -- قرن ق۲
رده :
BP
۱۷۱
/
۲
/
ش
۲
ر
۵۰۴۹۵۲ ۱۳۶۶
82. Algebraic Foundations in Computer Science
پدیدآورنده : / Werner Kuich, George Rahonis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
83. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
84. Algebraic Foundations of Systems Specification
پدیدآورنده : edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
85. Algebraic foundations in computer science :
پدیدآورنده : edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
86. Algebraic foundations of non-commutative differential geometry and quantum groups
پدیدآورنده : Ludwig Pittner
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebra
رده :
QA
154
.
P5
,
A5
87. Algebraic foundations of non-commutative differential geometry and quantum groups
پدیدآورنده : Ludwig Pittner
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebra
رده :
QA
154
.
P5
,
A5
88. Algebraic foundations of non - commutative differential geometry and quantum groups
پدیدآورنده : Ludwig Pittner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Geometry, Differential,Noncommutative algebras,Quantum groups,Mathematical physics
رده :
QC
,
20
.
7
,.
G44P58
,
1995
89. Algebraic foundations of non-commutative differential geometry and quantum groups
پدیدآورنده : Pittner, Ludwig
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Geometry, Differential,، Noncommutative algebras,، Quantum groups,، Mathematical physics
رده :
QC
3
.
L4
m
.
39
90. Algebraic foundations of systems specification
پدیدآورنده : E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Software engineering,، Formal methods )Computer science(,، System design
رده :
QA
76
.
758
.
A437
1999
91. Algebraical and topological foundations of geometry
پدیدآورنده : edited by Hans Freudenthal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geometry-- Foundations, Congresses.
92. Algebraical and topological foundations of geometry; proceedings
پدیدآورنده : Colloquium on Algebraic and Topological Foundations of Geometry )9591: Utrecht, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Geometry-- Foundations-- Congresses
رده :
QA
681
.
C65
1959
93. Algorithm design: foundations, analysis, and Internet examples
پدیدآورنده : / Michael T. Goodrich, Roberto Tamassia
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : الگوریتمهای کامپیوتری,ساختار دادهها
رده :
QA
۷۶
/
۹
/
ال
ف
۷
گ
۹ ۱۳۸۱
94. Algorithm design :foundations, analysis, and Internet examples
پدیدآورنده : Goodrich, Michael T.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Computer algorithms,، Data structures )Computer science(
رده :
QA
76
.
9
.
A43
G67
2002
95. Algorithmic Foundations of Robotics IX
پدیدآورنده : David Hsu, Volkan Isler, Jean-Claude Latombe, Ming C. Lin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ingeniería.
96. Algorithmic Foundations of Robotics IX
پدیدآورنده : / Claude Latombe, Ming C. Lin-David Hsu, Volkan Isler, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
97. Algorithmic Foundations of Robotics VIII: Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics (Springer Tracts in Advanced Robotics)
پدیدآورنده : / Gregory S. Chirikjian, Howie Choset, Marco Morales, Todd Murphey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, MANUFACTURING|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS& METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
98. Algorithmic Foundations of Robotics X
پدیدآورنده : / Perez, Nicholas Roy, Daniela Rus-Emilio Frazzoli, Tomas Lozano
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
99. Algorithmic Foundations of Robotics XI
پدیدآورنده : / H. Levent Akin, Nancy M. Amato, Volkan Isler, A. Frank Stappen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
100. Algorithmic Foundations of Robotics XI: Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics
پدیدآورنده : / H. Levent Akin, Nancy M. Amato, Volkan Isler, A. Frank van der Stappen (ed.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)|ENGINEERING, MANUFACTURING|ROBOTICS&COMPUTER SCIENCE
رده :
E-BOOK